// 内核 加载到0x1000

void print(char* str) {
    char* videoMemory = (char*) 0xb8000;
    int i = 0;
    while(str[i]) {
        videoMemory[i * 2] = str[i];
        videoMemory[i * 2 + 1] = 0x0f;
        i++;
    }
}

void kernel_main() {
    char* videoMemory = (char*) 0xb8000;
    print("hello world!");
    while(1);
}
